Polynomial Depth, Highness and Lowness for E
نویسنده
چکیده
We study the relations between the notions of highness, lowness and logical depth in the setting of complexity theory. We introduce a new notion of polynomial depth based on time bounded Kolmogorov complexity. We show our polynomial depth notion satisfies all basic logical depth properties, namely neither sets in P nor sets random for EXP are polynomial deep, and only polynomial deep sets can polynomially Turing compute a polynomial deep set. We prove all EXPcomplete sets are poly-deep, and under the assumption that NP does not have p-measure zero, then NP contains a polynomial deep set. We show that every high set for E contains a polynomial deep set in its polynomial Turing degree, and that there exists low for E polynomial deep sets.
منابع مشابه
On Boolean Lowness and Boolean Highness
The concepts of lowness and highness originate from recursion theory and were introduced into the complexity theory by Sch. oning (Lecture Notes in Computer Science, Vol. 211, Springer, Berlin, 1985). Informally, a set is low (high resp.) for a relativizable class K of languages if it does not add (adds maximal resp.) power to K when used as an oracle. In this paper, we introduce the notions of...
متن کاملSparse Oracles, Lowness, and Highness
The polynomial-time hierarchy has been studied extensively since it lies between the class P of languages accepted deterministically in polynomial time and the class PSPACE of languages accepted (deterministically or nondeterministically) in polynomial space. Since the P =? NP problem is still unsolved, it is not known whether the hierarchy is nontrivial, although it is known that there is a re...
متن کاملRandomness and lowness notions via open covers
One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R unchanged (i.e., RA = R)? Such sequences are call low for R. This question extends to a pair of randomness notions R and S , where S is weaker: for which A is S A still weaker than R? In the last few years, many result...
متن کاملOn the Structure of Low Sets
Over a decade ago, Schh oning introduced the concept of lowness into structural complexity theory. Since then a large body of results has been obtained classifying various complexity classes according to their lowness properties. In this paper we highlight some of the more recent advances on selected topics in the area. Among the lowness properties we consider are polynomial-size circuit comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1602.03332 شماره
صفحات -
تاریخ انتشار 2016